Un Modèle pour la spécification des processus d'analyse des Systèmes d'Information

Modelling processes and guiding their enactment are key issues in research on the formalisation of methods. This paper presents a formalism called map for specifying process models. Process maps describe the users intentions. Each intention can be fulfilled through different strategies. The user is free in choosing the technique he wants to apply. Process maps do not constrain the user into a process composed of successive steps; but allow a high degree of freedom in choosing the order for realising intentions. Natural ordering constraints imposed by the process can be expressed using logical formulas associated with maps. We present the map model, the logical notation for expressing ordering constraints and illustrate our approach with the Entity-Relationship modelling process.